CONSTANTS:
LIMIT=100

VARIABLES:
A={1 .. LIMIT}
B={1 .. LIMIT}

RULES:
A * B = 60
B != 5

